Design Space of Heterogeneous Synchronization
نویسندگان
چکیده
This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different schemas or are expressed in different languages. Our main application scenario is synchronization of software artifacts, such as code, models, and configuration files. We classify heterogeneous synchronizers according to the cardinality of the relation that they enforce between artifacts, their directionality, their incrementality, and whether they support reconciliation of concurrent updates. We then provide a framework of artifact operators that describes different ways of building heterogeneous synchronizers, such as synchronizers based on artifact or update translation. The design decisions within the framework are described using feature models. We present 16 concrete instances of the framework, discuss tradeoffs among them, and identify sample implementations for some of them. We also explore additional design decisions such as representation of updates, establishing correspondence among model elements, and strategies for selecting a single synchronization result from a set of alternatives. Finally, we discuss related fields including data synchronization, inconsistency management in software engineering, model management, and model transformation.
منابع مشابه
Attitude Synchronization Control in Satellite Formation Flying in the Presence of States Measurement Errors
This paper presents a novel attitude synchronization framework for tracking control of multiple identical/heterogeneous satellites in formation flying with connected communication graph. The main contribution of the paper is considering sensors' measurement error to derive control gains. Moreover, the proposed strategy need no angular velocity communication. Nevertheless, the tracking synchroni...
متن کاملDispersion of Love Wave in a Fiber-Reinforced Medium Lying Over a Heterogeneous Half-Space with Rectangular Irregularity
This paper concerned with the dispersion of Love wave in a fiber-reinforced medium lying over a heterogeneous half-space. The heterogeneity is caused by the consideration of quadratic variation in density and directional rigidity of lower half-space. The irregularity has been considered in the form of rectangle at the interface of the fiber-reinforced layer and heterogeneous half-space. The dis...
متن کاملIdentical and Nonidentical Synchronization of Hyperchaotic Systems by Active Backstepping Method
This paper focuses on the tracking and synchronization problems of hyperchaotic systems based on active backstepping method. The method consists of a recursive approach that interlaces the choice of a Lyapunov function with the design of feedback control. First, a nonlinear recursive active backstepping control vector is designed to track any desired trajectory in hyperchaotic Wang system. Furt...
متن کاملTorsional Surface Wave Propagation in Anisotropic Layer Sandwiched Between Heterogeneous Half-Space
The present paper studies the possibility of propagation of torsional surface waves in an inhomogeneous anisotropic layer lying between two heterogeneous half-spaces (upper and lower half-space). Both the half-spaces are assumed to be under compressive initial stress. The study reveals that under the assumed conditions, a torsional surface wave propagates in the medium. The dispersion relation ...
متن کاملSequential Consistency for Heterogeneous-Race-Free Programmer-centric Memory Models for Heterogeneous Platforms
Hardware vendors now provide heterogeneous platforms in commodity markets (e.g., integrated CPUs and GPUs), and are promising an integrated, shared memory address space for such platforms in future iterations. Because not all threads in a heterogeneous platform can communicate with the same latency, vendors are proposing synchronization mechanisms that allow threads to communicate with a subset...
متن کامل